protocol redeclMessage {

    // can't declare two messages with the same name

child:
    async Msg();
    async Msg();

};
